Semantic characterisation of dead control-flow paths
نویسندگان
چکیده
Many program verification, testing and performance prediction techniques rely on analysis of statically-identified control-flow paths. However, some such paths may be ‘dead’ because they can never be followed at run time, and should therefore be excluded from analysis. It is shown how the formal semantics of those statements comprising a path provides a sound theoretical foundation for identification of dead paths.
منابع مشابه
Semantic Identi cation of Dead Control - Flow PathsIan
Many program veriication, testing and performance prediction techniques rely on analysis of statically-identiied control-ow paths. However, some such paths may be semantically`dead' because they can never be followed at run time, and should therefore be excluded from analysis. It is shown how the formal semantics of those statements comprising a path provides a sound theoretical foundation for ...
متن کاملDesigning Robust Finite-Time Nonlinear Torques for a n-DOF Robot Manipulator with Uncertainties, Sector and Dead-Zone Input Nonlinearities
In this paper, a complete dynamical model is presented for an uncertain -DOF robot manipulator containing description of sector and dead-zone input nonlinearities. Next, robust finite-time tracking problem of desired trajectories is declared and formulated for the aforementioned robot manipulator. By defining innovative nonlinear sliding manifolds and developing the nonsingular terminal sliding...
متن کاملPartial Program Admission by Path Enumeration
Real-time systems on non-preemptive platforms require a means of bounding the execution time of programs for admission purposes. Worst-Case Execution Time (WCET) is most commonly used to bound program execution time. While bounding a program’s WCET statically is possible, computing its true WCET is difficult without significant semantic knowledge. We present an algorithm for partial program adm...
متن کاملمدلسازی عددی حوضچه های بنادر رودخانه‌ای و بررسی تاثیر رژیم جریان بر گردابه‌های افقی
Using dead zones of rivers for berthing purpose may involve some problems of which the most serious are sedimentation and silting. These processes depend on water flow pattern in these zones. In this paper, a two dimensional depth averaged model is explained for flow modeling in river dead zones. Governing equations of fluid flow are discretised using the “Control Volume” method and...
متن کاملOptimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing
Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. Automatic test data generation that can cover all the paths of software is known as a major cha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEE Proceedings - Software
دوره 148 شماره
صفحات -
تاریخ انتشار 2001